Eisenstein's Criterion
Eisenstein's Criterion
Introduction
Eisenstein's Criterion is a practical tool for determining if a polynomial is irreducible over a field. It is particularly useful for polynomials with integer coefficients and provides a simple test for irreducibility.
Statement
Theorem 11.3 (Eisenstein's Criterion): Let
divides for all does not divide does not divide
then
Proof Sketch
The proof uses contradiction:
- Assume
is reducible: where - Consider the polynomial modulo
: in - Since
, we have - This implies that
and for some constants - This means that
divides all coefficients of and except possibly the leading coefficients - But then
would divide the constant term of , contradicting condition 3
Examples
Example 1: Cyclotomic Polynomials
For any prime
While the criterion does not apply to
Example 2: Polynomials of the Form
The polynomial
Example 3: Polynomials with Prime Constant Term
The polynomial
Applications
Application 1: Constructing Irreducible Polynomials
Eisenstein's Criterion provides a simple way to construct irreducible polynomials over
Application 2: Field Extensions
Irreducible polynomials are crucial for constructing field extensions, and Eisenstein's Criterion helps identify them.
Application 3: Algebraic Number Theory
The criterion is useful in algebraic number theory for studying minimal polynomials of algebraic numbers.
Application 4: Galois Theory
Irreducible polynomials are fundamental to Galois theory, and Eisenstein's Criterion helps identify them.
Limitations
Not Always Applicable
Eisenstein's Criterion is not always applicable. Many irreducible polynomials do not satisfy the conditions of the criterion.
Requires UFD
The criterion requires the coefficient ring to be a UFD, which limits its applicability.
Field of Fractions
The criterion only guarantees irreducibility over the field of fractions, not necessarily over the original ring.